Situation calculus - PDFSEARCH.IO - Document Search Engine

Situation calculus
Results: 55

#	Item
21	Representing von Neumann-Morgenstern Games in the Situation Calculus Oliver Schulte and James Delgrande School of Computing Science Simon Fraser University Burnaby, B.C., Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:30:05 Determinacy Situation calculus Extensive-form game Function Axiom Game theory Mathematics Mathematical logic Logic
22	Proving Goal Achievability Fangzhen Lin Department of Computer Science and Engineering Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:16:26 Model theory Logic programming Situation calculus Function First-order logic Interpretation Mathematical logic Logic Mathematics
23	Journal of Artificial Intelligence Research314 Submitted 09/02; publishedCompiling Causal Theories to Successor State Axioms and STRIPS-Like Systems Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2003-10-09 01:39:43 Logic programming Automated planning and scheduling Situation calculus Functions and mappings Action description language STRIPS Function FO First-order logic Mathematics Mathematical logic Abstract algebra
24	Optimisation and Relaxation for Multiagent Planning in the Situation Calculus Toby O. Davies Adrian R. Pearce Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2015-02-19 22:22:59 Applied mathematics Logic programming Logic in computer science Convex optimization Operations research Situation calculus Relaxation Event calculus Fluent Theoretical computer science Mathematical optimization Mathematics
25	Property Persistence in the Situation Calculus 1, Ryan F. Kelly, Adrian R. Pearce ∗ Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2010-05-10 17:55:34 Model theory Logic programming Predicate logic Situation calculus Structure Mereology Mathematical logic Logic Mathematics
26	Asynchronous Knowledge with Hidden Actions in the Situation Calculus Ryan F. Kelly, Adrian R. Pearce1,∗ Department of Computing and Information Systems The University of Melbourne Victoria, 3010, Australia Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2015-01-05 02:35:40 Logic programming Knowledge representation Predicate logic Logic in computer science Situation calculus Model theory Frame problem Fluent Function Mathematical logic Logic Mathematics
27	Toward resilient human-robot interaction through situation projection for effective joint action Adrian R. Pearce∗ , Liz Sonenberg∗∗ and Paddy Nixon∗∗∗ ∗ NICTA Victoria Research Laboratory, Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2011-09-11 21:04:28 Logic programming Multi-agent systems Situation calculus Robotics Agent-based model Robot Intelligent agent Actor model Human–robot interaction Computing Artificial intelligence Science
28	Eciency of the detection in in-situ gamma spectrometry Kocsy Gábor 16th JulyIn in-situ gamma spectrometry we usually have the situation shown in Add to Reading List Source URL: www.osski.hu Language: English - Date: 2008-07-16 13:30:00 Integral calculus Differential equation Polar coordinate system Complex analysis
29	Reasoning about Actions and Change: From Single Agent Actions to Multi-agent Actions (Extended Abstract) Chitta Baral Faculty of Computer Science and Engineering Arizona State University Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:29:10 Logic programming Modal logic Artificial intelligence Multi-agent systems Epistemic modal logic Philosophical logic Common knowledge Stable model semantics Situation calculus Logic Science Mathematical logic
30	Symbolic Dynamic Programming for First-order POMDPs Scott Sanner Kristian Kersting NICTA & ANU Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-04-14 03:16:52 Markov processes Stochastic control Mathematical sciences Mathematical optimization Logic programming Partially observable Markov decision process Markov decision process Situation calculus Optimal control Statistics Control theory Dynamic programming